-
1 derivation
ˌderɪˈveɪʃən сущ.
1) происхождение, источник, начало Why hast thou asked my derivation? ≈ Почему ты спросил меня о моем происхождении? Syn: origin, descent
2) а) линг. словопроизводство, словообразование (как явление, как процесс) ;
деривация, трансформация( в теории порождающих грамматик) Other derivations proposed by him are far more absurd than this. ≈ Другие модели образования этого слова, предложенные им, гораздо более абсурдны, чем эта. б) мат. взятие производной в) лог. вывод (напр., в исчислении предикатов) ;
следствие Syn: deducing г) биол. теория эволюции, эволюция Syn: evolution
3) а) гидр. отвод, отведение (воды из одного канала в другой) б) электр. ответвление, шунт в) муз. такое устройство органа, что какие-л. несколько регистров питаются воздухом от одного источника г) мед. отвод, отток крови (из одних сосудов в другие) ;
кровопускание д) воен. отклонение снаряда от нормальной траектории, и особенно уход пули вправо, правый уклон (возникающий из-за того, что в нарезном оружии пуля закручивается вправо)
4) ответвление;
производное явление, продукт The Nicolaitans, who were a derivation from the Gnostics. ≈ Николаиты были ответвлением гностиков. образование, получение( из какого-л. источника) ;
извлечение - * of a doctrine истоки доктрины /учения/ источник;
происхождение - * of minerals происхождение минералов( специальное) дериват, производное деривация, словопроизводство;
(редкое) этимология;
происхождение слова - to find the * of a word найти этимологию слова (биология) (редкое) учение о происхождении органических форм, эволюционное учение;
теория эволюции (медицина) отвлечение, ревульсия (математика) дифференцирование, операция взятия производной( математика) вывод выражения, получение формулы (электротехника) ответвление, шунтирование( военное) деривация (при стрельбе) вывод, получение (синтаксической структуры и т. п.) derivation мат. взятие производной;
решение;
вывод ~ вывод ~ гидр. деривация;
отвод (воды) ~ лингв. деривация, словопроизводство ~ эл. ответвление, шунт ~ мед. отвлечение ~ происхождение;
источник;
начало ~ установление происхождения direct ~ непосредственный выводБольшой англо-русский и русско-английский словарь > derivation
См. также в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «V», и К. существования, «Э». В… … Философская энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
А=А — формула, выражающая принцип тождества в формальной логике; читается: А есть А , А тождественно А , А равно А , А есть то же самое, что А , А эквивалентно А . Различают онтологический и логич. аспекты принципа А = А. Онтологич. аспект означает… … Философская энциклопедия
ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… … История Философии: Энциклопедия
ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… … История Философии: Энциклопедия